Optimal. Leaf size=96 \[ \frac{175}{14641 \sqrt{1-2 x}}-\frac{7}{242 (1-2 x)^{3/2} (5 x+3)}+\frac{35}{3993 (1-2 x)^{3/2}}-\frac{1}{22 (1-2 x)^{3/2} (5 x+3)^2}-\frac{175 \sqrt{\frac{5}{11}} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right )}{14641} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.028567, antiderivative size = 110, normalized size of antiderivative = 1.15, number of steps used = 6, number of rules used = 3, integrand size = 17, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.176, Rules used = {51, 63, 206} \[ -\frac{875 \sqrt{1-2 x}}{29282 (5 x+3)}-\frac{875 \sqrt{1-2 x}}{7986 (5 x+3)^2}+\frac{70}{363 \sqrt{1-2 x} (5 x+3)^2}+\frac{2}{33 (1-2 x)^{3/2} (5 x+3)^2}-\frac{175 \sqrt{\frac{5}{11}} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right )}{14641} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 51
Rule 63
Rule 206
Rubi steps
\begin{align*} \int \frac{1}{(1-2 x)^{5/2} (3+5 x)^3} \, dx &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{35}{33} \int \frac{1}{(1-2 x)^{3/2} (3+5 x)^3} \, dx\\ &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{70}{363 \sqrt{1-2 x} (3+5 x)^2}+\frac{875}{363} \int \frac{1}{\sqrt{1-2 x} (3+5 x)^3} \, dx\\ &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{70}{363 \sqrt{1-2 x} (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{7986 (3+5 x)^2}+\frac{875 \int \frac{1}{\sqrt{1-2 x} (3+5 x)^2} \, dx}{2662}\\ &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{70}{363 \sqrt{1-2 x} (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{7986 (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{29282 (3+5 x)}+\frac{875 \int \frac{1}{\sqrt{1-2 x} (3+5 x)} \, dx}{29282}\\ &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{70}{363 \sqrt{1-2 x} (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{7986 (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{29282 (3+5 x)}-\frac{875 \operatorname{Subst}\left (\int \frac{1}{\frac{11}{2}-\frac{5 x^2}{2}} \, dx,x,\sqrt{1-2 x}\right )}{29282}\\ &=\frac{2}{33 (1-2 x)^{3/2} (3+5 x)^2}+\frac{70}{363 \sqrt{1-2 x} (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{7986 (3+5 x)^2}-\frac{875 \sqrt{1-2 x}}{29282 (3+5 x)}-\frac{175 \sqrt{\frac{5}{11}} \tanh ^{-1}\left (\sqrt{\frac{5}{11}} \sqrt{1-2 x}\right )}{14641}\\ \end{align*}
Mathematica [C] time = 0.0057136, size = 30, normalized size = 0.31 \[ \frac{8 \, _2F_1\left (-\frac{3}{2},3;-\frac{1}{2};\frac{5}{11} (1-2 x)\right )}{3993 (1-2 x)^{3/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.011, size = 66, normalized size = 0.7 \begin{align*}{\frac{8}{3993} \left ( 1-2\,x \right ) ^{-{\frac{3}{2}}}}+{\frac{120}{14641}{\frac{1}{\sqrt{1-2\,x}}}}+{\frac{5000}{14641\, \left ( -10\,x-6 \right ) ^{2}} \left ({\frac{11}{40} \left ( 1-2\,x \right ) ^{{\frac{3}{2}}}}-{\frac{143}{200}\sqrt{1-2\,x}} \right ) }-{\frac{175\,\sqrt{55}}{161051}{\it Artanh} \left ({\frac{\sqrt{55}}{11}\sqrt{1-2\,x}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 3.45388, size = 124, normalized size = 1.29 \begin{align*} \frac{175}{322102} \, \sqrt{55} \log \left (-\frac{\sqrt{55} - 5 \, \sqrt{-2 \, x + 1}}{\sqrt{55} + 5 \, \sqrt{-2 \, x + 1}}\right ) - \frac{13125 \,{\left (2 \, x - 1\right )}^{3} + 48125 \,{\left (2 \, x - 1\right )}^{2} + 67760 \, x - 44528}{43923 \,{\left (25 \,{\left (-2 \, x + 1\right )}^{\frac{7}{2}} - 110 \,{\left (-2 \, x + 1\right )}^{\frac{5}{2}} + 121 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.03877, size = 309, normalized size = 3.22 \begin{align*} \frac{525 \, \sqrt{11} \sqrt{5}{\left (100 \, x^{4} + 20 \, x^{3} - 59 \, x^{2} - 6 \, x + 9\right )} \log \left (\frac{\sqrt{11} \sqrt{5} \sqrt{-2 \, x + 1} + 5 \, x - 8}{5 \, x + 3}\right ) - 11 \,{\left (52500 \, x^{3} + 17500 \, x^{2} - 22995 \, x - 4764\right )} \sqrt{-2 \, x + 1}}{966306 \,{\left (100 \, x^{4} + 20 \, x^{3} - 59 \, x^{2} - 6 \, x + 9\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [C] time = 6.36311, size = 983, normalized size = 10.24 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.72678, size = 120, normalized size = 1.25 \begin{align*} \frac{175}{322102} \, \sqrt{55} \log \left (\frac{{\left | -2 \, \sqrt{55} + 10 \, \sqrt{-2 \, x + 1} \right |}}{2 \,{\left (\sqrt{55} + 5 \, \sqrt{-2 \, x + 1}\right )}}\right ) + \frac{16 \,{\left (45 \, x - 28\right )}}{43923 \,{\left (2 \, x - 1\right )} \sqrt{-2 \, x + 1}} + \frac{25 \,{\left (5 \,{\left (-2 \, x + 1\right )}^{\frac{3}{2}} - 13 \, \sqrt{-2 \, x + 1}\right )}}{5324 \,{\left (5 \, x + 3\right )}^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]